Deriving structural labelled transitions for mobile ambients
نویسندگان
چکیده
منابع مشابه
Deriving Structural Labelled Transitions for Mobile Ambients
We present a new labelled transition system (lts) for the ambient calculus on which ordinary bisimilarity coincides with contextual equivalence. The key feature of this lts is that it is the fruit of ongoing work on developing a systematic procedure for deriving ltss in the structural style from the underlying reduction semantics and observability. Notably, even though we have derived our lts f...
متن کاملLabelled Transitions for Mobile Ambients (As Synthesized via a Graphical Encoding)
The paper presents a case study on the synthesis of labelled transition systems (LTSs) for process calculi, choosing as testbed Cardelli and Gordon’s Mobile Ambients (MAs). The proposal is based on a graphical encoding: each process is mapped into a graph equipped with suitable interfaces, such that the denotation is fully abstract with respect to the usual structural congruence. Graphs with in...
متن کاملMobile Ambients
We introduce a calculus describing the movement of processes and devices, including movement through administrative domains. c © 2000 Elsevier Science B.V. All rights reserved.
متن کاملRPO semantics for mobile ambients
The paper focuses on the synthesis of labelled transition systems (LTSs) for process calculi, choosing as testbed Mobile Ambients (MAs). The proposal is based on a graphical encoding: a process is mapped into a graph equipped with interfaces, such that the denotation is fully abstract with respect to the standard structural congruence. Graphs with interfaces are amenable to the synthesis mechan...
متن کاملMobility Types for Mobile Ambients
An ambient is a named cluster of processes and subambi-ents, which moves as a group. The untyped ambient calculus is a process calculus in which ambients model a variety of concepts such as network nodes, packets, channels, and software agents. In these models, some am-bients are intended to be mobile, some immobile; and some are intended to be ephemeral, some persistent. We describe type syste...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Computation
سال: 2010
ISSN: 0890-5401
DOI: 10.1016/j.ic.2010.06.001